home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / SML⁄NJ 93+ / Documentation / examples / textbooks / four_lectures / build4.sml < prev    next >
Encoding:
Text File  |  1995-12-30  |  754 b   |  35 lines  |  [TEXT/R*ch]

  1. (* build4.sml *)
  2.  
  3.                (* building the system *)
  4.  
  5. structure Expression= Expression();
  6.  
  7. structure Parser= Parser(Expression);
  8.  
  9. structure Value = Value();
  10.  
  11. structure Evaluator= 
  12.    Evaluator(structure Expression= Expression
  13.              structure Value = Value);
  14.  
  15.  
  16. structure Ty = Type(); 
  17.  
  18. structure Unify = Unify(Ty);
  19.  
  20. structure TE = Environment();
  21.  
  22. structure TyCh= 
  23.   TypeChecker(structure Ex = Expression
  24.               structure Ty = Ty
  25.               structure Unify= Unify
  26.               structure TE = TE);
  27. structure Interpreter=
  28.   Interpreter(structure Ty= Ty
  29.               structure Value = Value
  30.               structure Parser = Parser
  31.               structure TyCh = TyCh
  32.               structure Evaluator = Evaluator);
  33.  
  34. open Interpreter;
  35.